Peter J Gormly: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Energy-Aware Design of Embedded Software through Modelling and Simulation

Jos´e Antonio Esparza Isasa,Peter Gorm Larsen,Finn Overgaard Hansen

Journal:

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering

Year:

2014

Language:

english

File:

PDF, 911 KB

english, 2014

2

Getting Software Engineering out of Isolation

Peter Gorm Larsen,Joey W. Coleman,John Fitzgerald

Journal:

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering

Year:

2012

Language:

english

File:

PDF, 131 KB

english, 2012

3

The adaptive capacity of maize-based conservation agriculture systems to climate stress in tropical and subtropical environments: A meta-regression of yields

Steward, Peter R., Dougill, Andrew J., Thierfelder, Christian, Pittelkow, Cameron M., Stringer, Lindsay C., Kudzala, Maxwell, Shackelford, Gorm E.

Journal:

Agriculture, Ecosystems & Environment

Year:

2018

Language:

english

File:

PDF, 534 KB

english, 2018

4

Realization of distributed system models using code generation extensions

Hasanagić, Miran, Tran‐Jørgensen, Peter W. V., Nilsson, René S., Larsen, Peter Gorm

Journal:

Software: Practice and Experience

Year:

2019

Language:

english

File:

PDF, 1.31 MB

english, 2019

5

A Formal Semantics of Data Flow Diagrams

Larsen, Peter Gorm, Plat, Nico, Toetenel, Hans

Journal:

Formal Aspects of Computing

Year:

1994

Language:

english

File:

PDF, 1.38 MB

english, 1994

6

Dose of Jogging and Long-Term Mortality

Schnohr, Peter, O’Keefe, James H., Marott, Jacob L., Lange, Peter, Jensen, Gorm B.

Journal:

Journal of the American College of Cardiology

Year:

2015

Language:

english

File:

PDF, 450 KB

english, 2015

7

Various Leisure-Time Physical Activities Associated With Widely Divergent Life Expectancies:The Copenhagen City Heart Study

Schnohr, Peter, O’Keefe, James H., Holtermann, Andreas, Lavie, Carl J., Lange, Peter, Jensen, Gorm Boje, Marott, Jacob Louis

Journal:

Mayo Clinic Proceedings

Year:

2018

Language:

english

File:

PDF, 379 KB

english, 2018

8

Collaborative Design for Embedded Systems ||

Fitzgerald, John, Larsen, Peter Gorm, Verhoef, Marcel

Year:

2014

Language:

english

File:

PDF, 23.88 MB

english, 2014

9

The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA

Larsen, Peter Gorm, Fitzgerald, John

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 1.39 MB

english, 2015

10

Collaborative Model-based Systems Engineering for Cyber-Physical Systems, with a Building Automation Case Study

Fitzgerald, John, Gamble, Carl, Payne, Richard, Larsen, Peter Gorm, Basagiannis, Stylianos, Mady, Alie El-Din

Journal:

INCOSE International Symposium

Year:

2016

Language:

english

File:

PDF, 1.16 MB

english, 2016

11

Co-Simulation

Gomes, Cláudio, Thule, Casper, Broman, David, Larsen, Peter Gorm, Vangheluwe, Hans

Journal:

ACM Computing Surveys

Year:

2018

Language:

english

File:

PDF, 1.79 MB

english, 2018

12

Realization of distributed system models using code generation extensions

Hasanagić, Miran, Tran‐Jørgensen, Peter W. V., Nilsson, René S., Larsen, Peter Gorm

Journal:

Software: Practice and Experience

Year:

2019

File:

PDF, 1.31 MB

2019

13

Modelling Systems (Practical Tools and Techniques in Software Development) || Using VDM in Practice

Fitzgerald, John, Larsen, Peter Gorm

Year:

2009

File:

PDF, 323 KB

2009

14

Kupffer cells are central in the removal of nanoparticles from the organism

Evaldas Sadauskas, Håkan Wallin, Meredin Stoltenberg, Ulla Vogel, Peter Doering, Agnete Larsen, Gorm Danscher

Journal:

Particle and Fibre Toxicology

Year:

2007

Language:

english

File:

PDF, 1.35 MB

english, 2007

15

Biogeochemistry of landfill leachate plumes

Thomas H Christensen, Peter Kjeldsen, Poul L Bjerg, Dorthe L Jensen, Jette B Christensen, Anders Baun, Hans-Jørgen Albrechtsen, Gorm Heron

Journal:

Applied Geochemistry

Year:

2001

Language:

english

File:

PDF, 2.95 MB

english, 2001

16

Formal methods

Woodcock, Jim, Larsen, Peter Gorm, Bicarregui, Juan, Fitzgerald, John

Journal:

ACM Computing Surveys

Year:

2009

Language:

english

File:

PDF, 736 KB

english, 2009

17

Attenuation of landfill leachate pollutants in aquifers

Christensen, Thomas H., Kjeldsen, Peter, Albrechtsen, Hans‐J⊘rgen, Heron, Gorm, Nielsen, Per H., Bjerg, Poul L., Holm, Peter E.

Journal:

Critical Reviews in Environmental Science and Technology

Year:

1994

Language:

english

File:

PDF, 4.46 MB

english, 1994

18

[IEEE 2014 8th Annual IEEE Systems Conference (SysCon) - Ottawa, ON, Canada (2014.03.31-2014.04.3)] 2014 IEEE International Systems Conference Proceedings - Collaborative formal modeling of System of Systems

Nielsen, Claus Ballegaard, Larsen, Peter Gorm

Year:

2014

Language:

english

File:

PDF, 689 KB

english, 2014

19

[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience (Abstract)

Fitzgerald, John S., Larsen, Peter Gorm

Year:

2006

Language:

english

File:

PDF, 272 KB

english, 2006

20

[IEEE 2014 IEEE 23rd International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprise (WETICE) - Parma, Italy (2014.6.23-2014.6.25)] 2014 IEEE 23rd International WETICE Conference - Distributed Simulation of Formal Models in System of Systems Engineering

Nielsen, Claus Ballegaard, Lausdahl, Kenneth, Larsen, Peter Gorm

Year:

2014

Language:

english

File:

PDF, 169 KB

english, 2014

21

[IEEE 2012 7th International Conference on System of Systems Engineering (SoSE) - Genova (2012.07.16-2012.07.19)] 2012 7th International Conference on System of Systems Engineering (SoSE) - Extending VDM-RT to enable the formal modelling of System of Systems

Nielsen, Claus Ballegaard, Larsen, Peter Gorm

Year:

2012

Language:

english

File:

PDF, 348 KB

english, 2012

22

[IEEE 2014 9th International Conference on System of Systems Engineering (SOSE) - Adelade, SA (2014.6.9-2014.6.13)] 2014 9th International Conference on System of Systems Engineering (SOSE) - An approach for managing semantic heterogeneity in Systems of Systems Engineering

Foster, Simon, Miyazawa, Alvaro, Woodcock, Jim, Cavalcanti, Ana, Fitzgerald, John, Larsen, Peter Gorm

Year:

2014

Language:

english

File:

PDF, 549 KB

english, 2014

23

[IEEE 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE) - Florence, Italy (2015.5.18-2015.5.18)] 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering - Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains

Fitzgerald, John, Gamble, Carl, Larsen, Peter Gorm, Pierce, Kenneth, Woodcock, Jim

Year:

2015

Language:

english

File:

PDF, 1.20 MB

english, 2015

24

[IEEE 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE) - Florence, Italy (2015.5.18-2015.5.18)] 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering - VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification

Oda, Tomohiro, Araki, Keijiro, Larsen, Peter Gorm

Year:

2015

Language:

english

File:

PDF, 790 KB

english, 2015

25

A secure dynamic collaboration environment in a cloud context

Piechotta, Chris, Olsen, Martin Grooss, Jensen, Adam Enø, Coleman, Joey W., Larsen, Peter Gorm

Journal:

Future Generation Computer Systems

Year:

2015

Language:

english

File:

PDF, 2.16 MB

english, 2015

26

[IEEE 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data) - Vienna, Austria (2016.4.11-2016.4.11)] 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data) - Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project

Larsen, Peter Gorm, Fitzgerald, John, Woodcock, Jim, Fritzson, Peter, Brauer, Jorg, Kleijn, Christian, Lecomte, Thierry, Pfeil, Markus, Green, Ole, Basagiannis, Stylianos, Sadovykh, Andrey

Year:

2016

Language:

english

File:

PDF, 438 KB

english, 2016

27

Nonspecific effect of BCG vaccination at birth on early childhood infections: a randomized, clinical multicenter trial

Kjærgaard, Jesper, Birk, Nina M., Nissen, Thomas N., Thøstesen, Lisbeth M., Pihl, Gitte T., Benn, Christine S., Jeppesen, Dorthe L., Pryds, Ole, Kofoed, Poul-Erik, Aaby, Peter, Greisen, Gorm, Stensbal

Journal:

Pediatric Research

Year:

2016

Language:

english

File:

PDF, 474 KB

english, 2016

28

Infections seem to be more frequent before onset of pediatric multiple sclerosis: A Danish nationwide nested case–control study

Boesen, Magnus Spangsberg, Koch-Henriksen, Nils, Thygesen, Lau Caspar, Eriksson, Frank, Greisen, Gorm, Born, Alfred Peter, Blinkenberg, Morten, Uldall, Peter Vilhelm, Magyari, Melinda

Journal:

Multiple Sclerosis Journal

Year:

2018

Language:

english

File:

PDF, 99 KB

english, 2018

29

Modelling Systems (Practical Tools and Techniques in Software Development) || The Elements of a Formal Model

Fitzgerald, John, Larsen, Peter Gorm

Year:

2009

Language:

english

File:

PDF, 511 KB

english, 2009

30

Maestro: The INTO-CPS co-simulation framework

Thule, Casper, Lausdahl, Kenneth, Gomes, Cláudio, Meisl, Gerd, Larsen, Peter Gorm

Journal:

Simulation Modelling Practice and Theory

Year:

2019

Language:

english

File:

PDF, 2.17 MB

english, 2019

31

The Harvest Coach Architecture: Embedding Deviation-Tolerance in a Harvest Logistic Solution

Macedo, Hugo Daniel, Nilsson, René Søndergaard, Larsen, Peter Gorm

Journal:

Year:

2019

Language:

english

File:

PDF, 2.12 MB

english, 2019

32

A Formal Modeling Tool for Exploratory Modeling in Software Development

ODA, Tomohiro, ARAKI, Keijiro, GORM LARSEN, Peter

Journal:

IEICE Transactions on Information and Systems

Year:

2017

Language:

english

File:

PDF, 911 KB

english, 2017

33

Editorial to the theme section on model-based engineering of smart systems

Fitzgerald, John, Ishikawa, Fuyuki, Larsen, Peter Gorm

Journal:

Software & Systems Modeling

Year:

2019

Language:

english

File:

PDF, 392 KB

english, 2019

34

Enabling continuous integration in a formal methods setting

Couto, Luis Diogo, Tran-Jørgensen, Peter W. V., Nilsson, René S., Larsen, Peter Gorm

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2019

Language:

english

File:

PDF, 1.01 MB

english, 2019

35

Modelling Systems (Practical Tools and Techniques in Software Development) || Describing System Properties Using Logical Expressions

Fitzgerald, John, Larsen, Peter Gorm

Year:

2009

File:

PDF, 377 KB

2009

36

Modelling Systems (Practical Tools and Techniques in Software Development) || Language Guide

Fitzgerald, John, Larsen, Peter Gorm

Year:

2009

File:

PDF, 368 KB

2009

37

Modelling Systems (Practical Tools and Techniques in Software Development) || Mappings

Fitzgerald, John, Larsen, Peter Gorm

Year:

2009

File:

PDF, 372 KB

2009

38

Modelling Systems (Practical Tools and Techniques in Software Development) || Sequences

Fitzgerald, John, Larsen, Peter Gorm

Year:

2009

File:

PDF, 362 KB

2009

39

Modelling Systems (Practical Tools and Techniques in Software Development) || State-Based Modelling

Fitzgerald, John, Larsen, Peter Gorm

Year:

2009

File:

PDF, 310 KB

2009

40

Modelling Systems (Practical Tools and Techniques in Software Development) || Recursive Structures

Fitzgerald, John, Larsen, Peter Gorm

Year:

2009

File:

PDF, 354 KB

2009

41

Modelling Systems (Practical Tools and Techniques in Software Development) || Validating Models

Fitzgerald, John, Larsen, Peter Gorm

Year:

2009

File:

PDF, 372 KB

2009

42

Modelling Systems (Practical Tools and Techniques in Software Development) || VDMTools Lite

Fitzgerald, John, Larsen, Peter Gorm

Year:

2009

File:

PDF, 5.61 MB

2009

43

Modelling Systems (Practical Tools and Techniques in Software Development) || Constructing a Model

Fitzgerald, John, Larsen, Peter Gorm

Year:

2009

File:

PDF, 584 KB

2009

44

Modelling Systems (Practical Tools and Techniques in Software Development) || Large-Scale Modelling

Fitzgerald, John, Larsen, Peter Gorm

Year:

2009

File:

PDF, 336 KB

2009

45

Immunologic observations in close relatives of two sisters with mammary Burkitt's lymphoma. Mammary Burkitt's lymphoma in sisters

Lene O. Poulsen, Jeppe Hagstrup Christensen, Bente Sørensen, Peter Ebbesen, Gorm Pallesen, Niels Grunnet

Journal:

Year:

1991

Language:

english

File:

PDF, 380 KB

english, 1991

46

Nonfasting triglycerides, cholesterol, and ischemic stroke in the general population

Anette Varbo, Børge G. Nordestgaard, Anne Tybjærg-Hansen, Peter Schnohr, Gorm B. Jensen, Marianne Benn

Journal:

Annals of Neurology

Year:

2011

Language:

english

File:

PDF, 210 KB

english, 2011

47

Prognosis of Hodgkin's disease in not influenced by epstein-barry virus latent membrane protein

Peter Michael Vestlev, Gorm Pallesen, Kristian Sandvej, Stephen J. Hamilton-Duroit, Søren M. Bendtzen

Journal:

International Journal of Cancer

Year:

1992

Language:

english

File:

PDF, 234 KB

english, 1992

48

Evaluation of epstein-barr virus antibody patterns and detection of viral markers in the biopsies of patients with Hodgkin's disease

Paul H. Levine, Gorm Pallesen, Peter Ebbesen, Nancy Harris, Alfred S. Evans, Nancy Müeller

Journal:

International Journal of Cancer

Year:

1994

Language:

english

File:

PDF, 340 KB

english, 1994

49

Energy adjustment methods applied to alcohol analyses

Ditte Johansen, Per K Andersen, Kim Overvad, Gorm Jensen, Peter Schnohr, Thorkild I.A Sørensen, Morten Grønbæk

Journal:

Year:

2003

Language:

english

File:

PDF, 230 KB

english, 2003

50

Cerebral palsy births in eastern Denmark, 1987–90: implications for neonatal care

Monica Topp, Peter Uldall, Gorm Greisen

Journal:

Paediatric and Perinatal Epidemiology

Year:

2001

Language:

english

File:

PDF, 109 KB

english, 2001